/*
 * Created on Aug 8, 2003
 *
 * To change the template for this generated file go to
 * Window&gt;Preferences&gt;Java&gt;Code Generation&gt;Code and Comments
 */
package alloy.type;

/**
 *
 */
public class InvalidAritiesException extends RuntimeException {

}
